1

A Cayley Theorem for Boolean Algebras

Year:
1990
Language:
english
File:
PDF, 359 KB
english, 1990
2

Conway and iteration hemirings Part 1

Year:
2014
Language:
english
File:
PDF, 253 KB
english, 2014
3

Modeling Literal Morphisms by Shuffle

Year:
1998
Language:
english
File:
PDF, 110 KB
english, 1998
5

The variety of Kleene algebras with conversion is not finitely based

Year:
2000
Language:
english
File:
PDF, 107 KB
english, 2000
6

A note on isomorphic simulation of automata by networks of two-state automata

Year:
1991
Language:
english
File:
PDF, 446 KB
english, 1991
8

Equational properties of Kleene algebras of relations with conversion

Year:
1995
Language:
english
File:
PDF, 943 KB
english, 1995
10

On Iteration Semiring-Semimodule Pairs

Year:
2007
Language:
english
File:
PDF, 448 KB
english, 2007
11

A Cayley Theorem for Boolean Algebras

Year:
1990
Language:
english
File:
PDF, 401 KB
english, 1990
12

A note on equations for commutative regular languages

Year:
1999
Language:
english
File:
PDF, 52 KB
english, 1999
14

A proof of the Krohn–Rhodes Decomposition Theorem

Year:
2000
Language:
english
File:
PDF, 114 KB
english, 2000
18

Scott Induction and Equational Proofs

Year:
2004
Language:
english
File:
PDF, 277 KB
english, 2004
20

Preface

Year:
2015
Language:
english
File:
PDF, 85 KB
english, 2015
21

Free shuffle algebras in language varieties

Year:
1996
Language:
english
File:
PDF, 2.49 MB
english, 1996
22

Equational theories of tropical semirings

Year:
2003
Language:
english
File:
PDF, 446 KB
english, 2003
23

Free De Morgan Bisemigroups and Bisemilattices

Year:
2003
Language:
english
File:
PDF, 205 KB
english, 2003
28

Memoriam

Year:
1964
Language:
english
File:
PDF, 136 KB
english, 1964
30

548FDG pet in the follow-up of patients with differentiated thyroid cancer

Year:
1996
Language:
english
File:
PDF, 127 KB
english, 1996
34

Axiomatizing Shuffle and Concatenation in Languages

Year:
1997
Language:
english
File:
PDF, 341 KB
english, 1997
37

ALGEBRAIC LINEAR ORDERINGS

Year:
2011
Language:
english
File:
PDF, 344 KB
english, 2011
38

ON CONTEXT-FREE LANGUAGES OF SCATTERED WORDS

Year:
2013
Language:
english
File:
PDF, 266 KB
english, 2013
40

A Fully Equational Proof of Parikh's Theorem

Year:
2002
Language:
english
File:
PDF, 194 KB
english, 2002
41

Two equational theories of partial words

Year:
2018
Language:
english
File:
PDF, 548 KB
english, 2018
43

Equational logic of circular data type specification

Year:
1989
Language:
english
File:
PDF, 2.83 MB
english, 1989
46

Floyd-Hoare logic in iteration theories

Year:
1991
Language:
english
File:
PDF, 2.07 MB
english, 1991
47

Complete classes of automata for the α0-product

Year:
1986
Language:
english
File:
PDF, 822 KB
english, 1986
48

Fuzzy tree automata

Year:
2007
Language:
english
File:
PDF, 205 KB
english, 2007
49

A Mezei–Wright theorem for categorical algebras

Year:
2010
Language:
english
File:
PDF, 2.85 MB
english, 2010